Reconciling first-order logic to algebra (2018)
Carnielli, Walter Alexandre 
; Mariano, Hugo Luiz ; Matulovic, Mariana
Source: Contradictions, from consistency to inconsistency. Unidade: IME
Assunto: LÓGICA ALGÉBRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CARNIELLI, Walter Alexandre e MARIANO, Hugo Luiz e MATULOVIC, Mariana. Reconciling first-order logic to algebra. Contradictions, from consistency to inconsistency. Tradução . Cham: Springer, 2018. . Disponível em: https://doi.org/10.1007/978-3-319-98797-2_13. Acesso em: 03 maio 2024.APA
Carnielli, W. A., Mariano, H. L., & Matulovic, M. (2018). Reconciling first-order logic to algebra. In Contradictions, from consistency to inconsistency. Cham: Springer. doi:10.1007/978-3-319-98797-2_13NLM
Carnielli WA, Mariano HL, Matulovic M. Reconciling first-order logic to algebra [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_13Vancouver
Carnielli WA, Mariano HL, Matulovic M. Reconciling first-order logic to algebra [Internet]. In: Contradictions, from consistency to inconsistency. Cham: Springer; 2018. [citado 2024 maio 03 ] Available from: https://doi.org/10.1007/978-3-319-98797-2_13
